Programming Languages Publications

Publications in Programming Languages

Explore the most influential research papers and scholarly works that have shaped Programming Languages. Use the concept filter below to focus on a specific sub-area of research.

Programming Languages

7.7K

Publications

460.7K

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
Abstract interpretation Patrick Cousot, Radhia Cousot Programming Language TheoryActual ComputationsDeclarative ProgrammingEngineeringProgram Analysis	1977	6.1K
Julia: A Fresh Approach to Numerical Computing Jeff Bezanson, Alan Edelman, Stefan Karpinski, SIAM Review Numerical AnalysisEngineeringJulia Programming LanguageComputational ToolsNumerical Computation	2017	6K
Python for Scientific Computing Travis E. Oliphant Computing in Science & Engineering Open Source SupercomputingEngineeringAlgorithmic LibraryScientific CodesEngineering Code	2007	3.3K
Python: a programming language for software integration and development. M F Sanner PubMed EngineeringProgram AnalysisProgramming Language ImplementationSoftware EngineeringComputer Science	1999	3.1K
Can programming be liberated from the von Neumann style? John Backus Communications of the ACM Artificial IntelligenceAbstract MachineConventional Programming LanguagesProgramming ParadigmEngineering	1978	2.6K
The Art of Computer Programming W.J. Worlton Nuclear Science and Engineering EngineeringComputer ProgrammingSystem ProgrammingComputer ArchitectureSoftware Engineering	1968	2.3K
A theory of type polymorphism in programming Robin Milner Journal of Computer and System Sciences EngineeringAutomated ReasoningPolymorphism (Computer Science)Type TheoryDependently Typed Programming	1978	2.2K
The Semantics of a Simple Language for Parallel Programming. Gilles Kahn IFIP Congress EngineeringSoftware SystemsSemanticsSoftware AnalysisFormal Verification	1974	2.1K
Applying 'design by contract' Bertrand Meyer Computer Design DecisionEngineeringObject-oriented ModelingVerificationSoftware Systems	1992	2.1K
Guarded commands, nondeterminacy and formal derivation of programs Edsger W. Dijkstra Communications of the ACM Programming Language TheoryFormal SpecificationEngineeringOperating SystemsInitial State	1975	1.9K
Direct Manipulation: A Step Beyond Programming Languages Shneiderman Computer Declarative ProgrammingEngineeringProgram AnalysisAutomated ReasoningDirect Manipulation	1983	1.9K
The Esterel synchronous programming language: design, semantics, implementation Gérard Berry, Georges Gonthier Science of Computer Programming EngineeringProgram AnalysisConcurrent ProgrammingFormal MethodsSoftware Analysis	1992	1.7K

Page 1